利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

一类装甲车辆对不平路面的激励响应模型

研究内容为(轮式、履带)车辆在不平路面行驶和通过障碍时的平顺性问题。利用状态方程法建立了包括随机和确定路面轮廓、3维车体等较为通用的车辆行驶平顺性模型。并针对行驶振动中车轮与悬架的碰撞建立了专门模型。对某型装甲车辆进行了计算机仿真和验证,对模型的精度和有效性进行检验和评估。结果表明所建立的车辆-地面系统模型是有效的。该模型和建模采用的方法为装甲车辆的系统设计和动力学分析提供了一条途径。     

远程导引变轨故障后轨道重构设计与分析

研究了空间交会远程导引变轨故障后轨道重构问题,提出了轨道重构设计准则,对五冲量远程导引的每一次变轨故障分别给出了四类轨道重构方案.根据提出的设计准则对给出轨道重构方案的修正能力、测控条件、推进剂消耗、终端精度和安全性进行初步分析,确定了处理远程导引变轨故障的轨道预案.     

Modern liberal wars,illiberal allies,and peace as the failure of policy

ABSTRACT

The post-Cold War period nearly up to the present has been characterised as the age of liberal wars, yet key facets of the liberal guidance of war remain under appreciated. This article seeks to address this wider gap with regard to the particular concern of war termination and the fulfilment or failure of policy. First, it develops characterisations of liberal wars based on the existing literature, identifying three broad types through consideration of context—defensive versus offensive—and of political and strategic agency, particularly regarding the motives for and intents of action. Three types of liberal wars result: defensive liberal wars, offensive liberal wars with humanitarian motive and geopolitical intent, and offensive liberal wars with geopolitical motive and humanitarian intent. The article then presents one exemplary case for each liberal war with an emphasis on how liberal strategy required an illiberal ally and that ally's effect on the subsequent peace.     

磨损身管下的杆式穿甲弹强度失效计算机模拟

针对某型105 mm钨合金超速脱壳穿甲弹在射击试验时出现的弹体强度失效现象,使用有限元分析软件对其强度进行了分析计算。计算分两种工况：正常状态下的弹体应力应变分布和磨损身管条件下的弹体应力应变分布。根据计算结果,证实了弹体强度失效是由于火炮身管过度磨损的原因所致。     

模糊小波包在漏磁信号处理中的应用

采用小波包去噪方法解决漏磁信号的噪声抑制问题。针对软、硬阈值处理中存在的缺陷,提出了模糊阈值处理方法,应用该方法对采集的漏磁信号进行消噪处理。实验结果表明,与传统小波包的去噪效果相比较,模糊小波包降噪方法不仅较好地剔除信号中的噪声,而且保留了原始信号中的有效成分,是一种可行的方法。     

区域目标搜索中基于改进RRT的UAV实时航迹规划

在线自主航迹规划是无人机(Unmanned Aerial Vehicles,UAV)执行区域目标搜索任务的有效保证.针对UAV区域搜索中航迹规划的实时性要求,提出了一种固定搜索模式和动态搜索模式相结合的UAV自主航迹规划框架.在快速扩展随机树(RRT)方法的基础上,通过改进随机扩展树的节点选择和引入启发式信息,提出了基于改进RRT的UAV实时搜索航迹规划算法,该算法能够有效降低在线航迹规划的时间代价和扩展节点数.仿真实验结果验证了本文方法的有效性.     

组合激光作用下CdS探测器破坏阈值实验研究

采用组合激光(即响应波段内532nm激光和响应波段外1319nm激光)对光导型CdS探测器进行辐照,测量了CdS探测器的破坏阈值。当1319nm激光辐照功率密度保持不变时,波段内激光的加入明显缩短了CdS探测器被破坏时激光所需的辐照时间,并且随着532nm激光功率密度的不断增大,辐照时间先减少后增加;当1319nm激光辐照时间保持不变时,随着532nm激光功率密度的增大,CdS探测器被破坏所需的1319nm激光功率密度先减小后增大,但恢复值仍比没有532nm激光加入时要小,说明了波段内激光的增强作用。上述两种变化趋势与相同条件下探测器的电压响应变化规律一致。     

Some new results on the preservation of the NBUE and NWUE aging classes under the formation of coherent systems

We consider the classical problem of whether certain classes of lifetime distributions are preserved under the formation of coherent systems. Under the assumption of independent and identically distributed (i.i.d.) component lifetimes, we consider the NBUE (new better than used in expectation) and NWUE (new worse than used in expectation) classes. First, a necessary condition for a coherent system to preserve the NBUE class is given. Sufficient conditions are then obtained for systems satisfying this necessary condition. The sufficient conditions are satisfied for a collection of systems which includes all parallel systems, but the collection is shown to be strictly larger. We also prove that no coherent system preserves the NWUE class. As byproducts of our study, we obtain the following results for the case of i.i.d. component lifetimes: (a) the DFR (decreasing failure rate) class is preserved by no coherent systems other than series systems, and (b) the IMRL (increasing mean residual life) class is not preserved by any coherent systems. Generalizations to the case of dependent component lifetimes are briefly discussed.     

可靠度限制下相控阵雷达天线阵面T/R单元维修模型

为了描述维修活动对相控阵雷达天线阵面系统的影响，构建了以可靠度为基础的“修旧不如新”定期维修优化模型。对相控阵雷达T/R单元失效下的天线性能参数进行分析，根据指标确定系统不能正常工作的失效T/R单元阈值; 针对大部分维修活动都难以使T/R单元修复如新的事实，引入失效率递增因子，在系统一定的可靠度水平上，以相控阵雷达系统的使用可用度和维修费用率为优化决策参数，建立了系统的维修优化模型，并运用边际效能算法对系统的最佳预防换件维修周期和换件维修组数量进行求解。实例运算结果表明,该模型突破了已有模型“修旧如新”的限制条件，更符合实际，能为维修策略的制定提供理论依据。